MIME-Version: 1.0
Server: CERN/3.0
Date: Tuesday, 07-Jan-97 15:50:43 GMT
Content-Type: text/html
Content-Length: 10804
Last-Modified: Wednesday, 25-Dec-96 09:11:55 GMT

<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">

<html>

<head>
<title>SSGRG Project Page</title>
<meta name="GENERATOR" content="Microsoft FrontPage 1.1">
</head>

<body background="background.gif" bgcolor="#FEEBFA" link="#000080">
<h1><!WA0><!WA0><!WA0><!WA0><img src="http://www.cs.utexas.edu/users/schwartz/logo.gif" align=right hspace=0 width=284 height=172><font color="#00FF00"><!WA1><!WA1><!WA1><!WA1><img src="http://www.cs.utexas.edu/users/schwartz/7blox.gif" align=absbottom width=80 height=64></font><font color="#8000FF"><font size=7>Project Index</font></font></h1>
<p><font size=3>This web page presents a brief description of each SSGRG project and a 
comprehensive list of papers relevant to that project. The project index is:</font></p>
<div align=left>
<table border=4 width=100%>
<tr><td align=center width=50%><!WA2><!WA2><!WA2><!WA2><a href="#P2"><font color="#8000FF"><font size=4><em>P2/Predator</em></font></font></a></td><td align=center width=50%><!WA3><!WA3><!WA3><!WA3><a href="#ADAGE"><font color="#8000FF"><font size=4><em>ADAGE</em></font></font></a></td></tr>
<tr><td align=center width=50%><!WA4><!WA4><!WA4><!WA4><a href="#P++"><font color="#8000FF"><font size=4><em>P++</em></font></font></a></td><td align=center width=50%><!WA5><!WA5><!WA5><!WA5><a href="#GenVoca"><font color="#8000FF"><font size=4><em>GenVoca</em></font></font></a></td></tr>
<tr><td align=center width=50%><!WA6><!WA6><!WA6><!WA6><a href="#Rosetta"><font color="#8000FF"><font size=4><em>Rosetta</em></font></font></a></td><td align=center width=50%><!WA7><!WA7><!WA7><!WA7><a href="#Dissertations"><font color="#8000FF"><font size=4><em>Dissertations</em></font></font></a></td></tr>
<tr><td align=center width=50%><!WA8><!WA8><!WA8><!WA8><a href="#Prairie"><font color="#8000FF"><font size=4><em>Prairie</em></font></font></a></td><td align=center width=50%><!WA9><!WA9><!WA9><!WA9><a href="#Design Patterns"><font color="#8000FF"><font size=4><em>Design Patterns</em></font></font></a></td></tr>
<tr><td align=center colspan=2 width=100%><!WA10><!WA10><!WA10><!WA10><a href="#Miscellaneous"><font color="#8000FF"><font size=4><em>Miscellaneous</em></font></font></a></td></tr>
</table>
</div>
<p><font color="#000000"><font size=3>If you are interested in specific topics or subjects, perform a keyword search on the </font></font><!WA11><!WA11><!WA11><!WA11><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm">SSGRG Publication Page</a><font color="#000000"><font size=3>..</font></font></p>
<p><font color="#000000"><font size=3>Related Web Pages:</font><font size=4> </font></font><!WA12><!WA12><!WA12><!WA12><a href="http://cs.utexas.edu"><!WA13><!WA13><!WA13><!WA13><img src="http://www.cs.utexas.edu/users/schwartz/3blox.gif" align=middle border=0 width=48 height=36></a> <!WA14><!WA14><!WA14><!WA14><a href="http://www.cs.utexas.edu">UTCS General</a> <!WA15><!WA15><!WA15><!WA15><a href="http://www.cs.utexas.edu/users/schwartz/index.html"><!WA16><!WA16><!WA16><!WA16><img src="http://www.cs.utexas.edu/users/schwartz/3blox.gif" align=middle border=0 width=48 height=36></a> <!WA17><!WA17><!WA17><!WA17><a href="http://www.cs.utexas.edu/users/schwartz/index.html">SSGRG Title Page </a><!WA18><!WA18><!WA18><!WA18><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm"><!WA19><!WA19><!WA19><!WA19><img src="http://www.cs.utexas.edu/users/schwartz/3blox.gif" align=middle border=0 width=48 height=36></a> <!WA20><!WA20><!WA20><!WA20><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm">SSGRG Publication Page</a></p>
<hr>
<h1><font color="#00FF00"><!WA21><!WA21><!WA21><!WA21><img src="http://www.cs.utexas.edu/users/schwartz/7blox.gif" align=middle width=80 height=64></font><a name="P2"><font color="#FF00FF"><font size=6><em>P2/Predator</em></font></font></a><font size=3> </font></h1>
<p><font size=4>is a series of prototypes (P1, P2) for a GenVoca generator of container data structures.</font><font size=5> </font></p>
<blockquote>
<blockquote>
<ul>
<li><!WA22><!WA22><!WA22><!WA22><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#lrusim"><b>Memory Simulators and Software Generators</b></a> <em>SSR'97</em> </li>
<li><!WA23><!WA23><!WA23><!WA23><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#ieee-icsr"><b>Composition Validation and Subjectivity...</b></a> <em>IEEE TSE 1997.</em></li>
<li><!WA24><!WA24><!WA24><!WA24><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#icsr4A"><b>Subjectivity and GenVoca Generators</b></a> <cite>ICSR 1995</cite>. </li>
<li><!WA25><!WA25><!WA25><!WA25><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#tr-95-26"><b>P2: A Lightweight DBMS Generator</b></a>. UTCS TR-95-26. </li>
<li><!WA26><!WA26><!WA26><!WA26><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#tr-95-04"><b>P2: An Extensible Lightweight DBMS</b></a>. UTCS TR-95-04. </li>
<li><!WA27><!WA27><!WA27><!WA27><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#tr-95-03"><b>Validating Component Compositions...</b></a> <cite>ICSR 1995</cite>. </li>
<li><!WA28><!WA28><!WA28><!WA28><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#sigsoft94"><b>Reengineering a Complex Application...</b></a> <cite>ACM SIGSOFT 1994</cite>. </li>
<li><!WA29><!WA29><!WA29><!WA29><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#tr-94-28"><b>The LEAPS Algorithms</b></a>. UTCS TR-94-28. </li>
<li><!WA30><!WA30><!WA30><!WA30><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#tr-94-26"><b>Introductory P2 System Manual</b> (PostScript file)</a>. UTCS TR-94-26. </li>
<li><!WA31><!WA31><!WA31><!WA31><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#tr-94-27"><b>Advanced P2 System Manual</b> (PostScript file)</a>. UTCS TR-94-27. </li>
<li><!WA32><!WA32><!WA32><!WA32><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#sigsoft"><b>Scalable Software Libraries</b></a>. <cite>ACM SIGSOFT 1993</cite>. </li>
<li><!WA33><!WA33><!WA33><!WA33><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#wisr-p2"><b>A Scalable Approach to Software Libraries</b></a>. <cite>WISR 1993</cite>. </li>
<li><!WA34><!WA34><!WA34><!WA34><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#icse"><b>Software Components in a Data Structure Precompiler</b></a>. <cite>ICSE 1993</cite>. </li>
<li><!WA35><!WA35><!WA35><!WA35><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#tr-92-47"><b>Single Schema Database Management Systems</b></a>. UTCS TR-92-47. </li>
<li><!WA36><!WA36><!WA36><!WA36><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#ijseke"><b>Implementing a Domain Model for Data Structures</b></a>. <cite>IJSEKE 1992</cite>. </li>
<li><!WA37><!WA37><!WA37><!WA37><a href="http://www.cs.utexas.edu/users/schwartz/software.htm#p2"><b>P2 Software Distribution</b> (tar file)</a>. </li>
<li><p align=left><!WA38><!WA38><!WA38><!WA38><a href="http://www.cs.utexas.edu/users/schwartz/software.htm#p2-manual"><b>P2 Manuals Distribution</b> (tar file)</a>. </p>
</li>
</ul>
</blockquote>
</blockquote>
<h1><font color="#00FF00"><!WA39><!WA39><!WA39><!WA39><img src="http://www.cs.utexas.edu/users/schwartz/7blox.gif" align=middle width=80 height=64></font><a name="P++"><font color="#FF00FF"><em>P++</em></font></a> </h1>
<p><font size=4>is an extension of C++ that supports GenVoca programming concepts. </font></p>
<blockquote>
<blockquote>
<ul>
<li><!WA40><!WA40><!WA40><!WA40><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#vivek-thesis"><b>A Programming Language for ... Generators</b></a> Ph.D. Thesis, 1996. </li>
<li><!WA41><!WA41><!WA41><!WA41><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#wisr-p++"><b>P++: A Language for Large-Scale Reusable Software...</b></a> <cite>WISR 1993</cite>. </li>
<li><p align=left><!WA42><!WA42><!WA42><!WA42><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#tr-93-16"><b>P++: A Language for Software System Generators</b></a>. TR-93-16. </p>
</li>
</ul>
</blockquote>
</blockquote>
<h1><font color="#00FF00"><!WA43><!WA43><!WA43><!WA43><img src="http://www.cs.utexas.edu/users/schwartz/7blox.gif" align=middle width=80 height=64></font><a name="Rosetta"><font color="#FF00FF"><em>Rosetta</em></font></a><font size=3> </font></h1>
<p><font size=4>is a project to build extensible and customized compilers for the domain of relational data languages. </font></p>
<blockquote>
<blockquote>
<ul>
<li><!WA44><!WA44><!WA44><!WA44><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#rosetta"><b>Rosetta: A Generator of Data Language Compilers </b></a><cite>SSR 97</cite>. </li>
<li><p align=left><!WA45><!WA45><!WA45><!WA45><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#millie-thesis"><b>...Generation of Extensible Data Languages</b></a>. Ph.D. Thesis, 1994. </p>
</li>
</ul>
</blockquote>
</blockquote>
<h1><font color="#00FF00"><!WA46><!WA46><!WA46><!WA46><img src="http://www.cs.utexas.edu/users/schwartz/7blox.gif" align=middle width=80 height=64></font><a name="Prairie"><font color="#FF00FF"><em>Prairie</em></font></a></h1>
<p><font size=4>is an effort to build customized rule based query optimizers from components. </font></p>
<blockquote>
<blockquote>
<ul>
<li><!WA47><!WA47><!WA47><!WA47><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#lprairie"><b>Synthesizing Rule Sets...</b></a>, <cite>UTCS TR-96-05</cite>. </li>
<li><!WA48><!WA48><!WA48><!WA48><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#icde-11"><b>Prairie: A Rule Specification Framework...</b></a> <cite>Data Engineering 1995</cite>. </li>
<li><p align=left><!WA49><!WA49><!WA49><!WA49><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#dinesh-thesis"><b>Making Database Optimizers More Extensible</b></a> Ph.D. Thesis, 1995. </p>
</li>
</ul>
</blockquote>
</blockquote>
<h1><font color="#00FF00"><!WA50><!WA50><!WA50><!WA50><img src="http://www.cs.utexas.edu/users/schwartz/7blox.gif" align=middle width=80 height=64></font><a name="Design Patterns"><font color="#FF00FF"><em>Design Patterns</em></font></a> </h1>
<p><font size=4>Many structural (Gamma) patterns can be recognized as end-products of large scale program 
transformations. Our work on design patterns explores the potential of automating structural patterns for 
software maintenance.</font></p>
<blockquote>
<blockquote>
<ul>
<li><!WA51><!WA51><!WA51><!WA51><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#oopsla95.position"><b>Program Transformations for Evolving Software ...</b></a> <cite>OOPSLA'95</cite>. </li>
<li><p align=left><!WA52><!WA52><!WA52><!WA52><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#tr-95-06"><b>Automated Software Evolution via Design Patterns...</b></a> <cite>ISACC'95</cite>. </p>
</li>
</ul>
</blockquote>
</blockquote>
<h1><font color="#00FF00"><!WA53><!WA53><!WA53><!WA53><img src="http://www.cs.utexas.edu/users/schwartz/7blox.gif" align=middle width=80 height=64></font><a name="ADAGE"><font color="#FF00FF"><em>ADAGE</em></font></a> </h1>
<p><font size=4>is an ARPA-sponsored DSSA project to build a (GenVoca) generator for avionics software.</font><font size=6> </font></p>
<blockquote>
<blockquote>
<ul>
<li><!WA54><!WA54><!WA54><!WA54><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#adage"><b>Creating Reference Architectures...</b></a> <cite>SSR '95</cite>. </li>
<li><!WA55><!WA55><!WA55><!WA55><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#cia10-95"><b>The ADAGE Avionics Reference Architecture</b></a>. <cite>CIA '95</cite>. </li>
<li><p align=left><!WA56><!WA56><!WA56><!WA56><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#ecbs-95"><b>Domain Modeling...</b></a> <cite>Symposium ECBS 1995</cite>. </p>
</li>
</ul>
</blockquote>
</blockquote>
<h1><font color="#00FF00"><!WA57><!WA57><!WA57><!WA57><img src="http://www.cs.utexas.edu/users/schwartz/7blox.gif" align=middle width=80 height=64></font><a name="GenVoca"><font color="#FF00FF"><em>GenVoca</em></font> </a></h1>
<blockquote>
<blockquote>
<ul>
<li><!WA58><!WA58><!WA58><!WA58><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#ieee-icsr"><b>Composition Validation and Subjectivity...</b></a> <em>IEEE TSE 1997.</em></li>
<li><!WA59><!WA59><!WA59><!WA59><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#rosetta"><b>Rosetta: A Generator of Data Language Compilers </b></a><cite>SSR '97</cite>. </li>
<li><!WA60><!WA60><!WA60><!WA60><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#compilers"><b>...Generators, Transformation Systems, and Compilers</b></a> <cite>working paper</cite>. </li>
<li><!WA61><!WA61><!WA61><!WA61><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#icsr4A"><b>Subjectivity and GenVoca Generators</b></a> <cite>ICSR 1995</cite>. </li>
<li><!WA62><!WA62><!WA62><!WA62><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#oopsla95"><b>Issues in Domain Modeling ...</b></a> <cite>OOPSLA'95</cite>. </li>
<li><!WA63><!WA63><!WA63><!WA63><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#tr-95-03"><b>Validating Component Compositions...</b></a> <cite>ICSR 1995</cite>. </li>
<li><!WA64><!WA64><!WA64><!WA64><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#ieee-sw"><b>The GenVoca Model...</b></a> <cite>IEEE Software</cite>, September 1994. </li>
<li><!WA65><!WA65><!WA65><!WA65><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#domain-modeling-workshop"><b>Products of Domain Models</b></a>. <cite>DM Workshop'94</cite>. </li>
<li><p align=left><!WA66><!WA66><!WA66><!WA66><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#tosem"><b>The Design and Implementation...</b></a> <cite>ACM TOSEM</cite>, October 1992. </p>
</li>
</ul>
</blockquote>
</blockquote>
<h1><font color="#00FF00"><!WA67><!WA67><!WA67><!WA67><img src="http://www.cs.utexas.edu/users/schwartz/7blox.gif" align=middle width=80 height=64></font><a name="Dissertations"><font color="#FF00FF"><em>Dissertations</em></font></a> </h1>
<blockquote>
<blockquote>
<ul>
<li><!WA68><!WA68><!WA68><!WA68><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#vivek-thesis"><b>A Programming Language for ... Generators</b></a> V.P. Singhal, 1996. </li>
<li><!WA69><!WA69><!WA69><!WA69><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#dinesh-thesis"><b>Making Database Optimizers More Extensible</b></a> D. Das, 1995. </li>
<li><!WA70><!WA70><!WA70><!WA70><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#millie-thesis"><b>...Generation of Extensible Data Languages</b></a>. E.E. Villarreal, 1994. </li>
<li><p align=left><!WA71><!WA71><!WA71><!WA71><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#sirkin-thesis"><b>A ... Generator for Data Structures</b></a>. M.J. Sirkin, 1994. </p>
</li>
</ul>
</blockquote>
</blockquote>
<h1><font color="#00FF00"><!WA72><!WA72><!WA72><!WA72><img src="http://www.cs.utexas.edu/users/schwartz/7blox.gif" align=middle width=80 height=64></font><a name="Miscellaneous"><font color="#FF00FF"><em>Miscellaneous</em></font> </a></h1>
<blockquote>
<blockquote>
<ul>
<li><!WA73><!WA73><!WA73><!WA73><a href="http://www.cs.utexas.edu/users/schwartz/pub.htm#space_tech"><b>... Component Technologies and Space Applications </b></a><cite>Integ. Micro</cite>. </li>
</ul>
</blockquote>
</blockquote>
<hr>
<p>Last modified: December 24, 1996<br>
</p>
<address><!WA74><!WA74><!WA74><!WA74><a href="http://www.cs.utexas.edu/users/dsb">Don Batory</a> <!WA75><!WA75><!WA75><!WA75><a href="mailto:batory@cs.utexas.edu">(batory@cs.utexas.edu)</a> </address>
</body>

</html>
